logical prograaming in c